 
<div id="banner">
    <div id="banner1">
        <a id="logo" href="index.php"><img src="images/Web/logo.png"></a>
        
        <div id="buscador">
            <form method="GET" action="result_busqueda.php">
                <input id="texto-buscar" name='busqueda' type="text" required>
                <input id="buscar" type="submit" value="Buscar">
            </form>
        </div>
        
        
        
        <?php
        if(!isset($_SESSION['usuario'])){
            
            
            echo "<ul><a href='registro.php'><li id='e'>Reg&iacute;strate</li></a>
			         <a href='#'><li id='f'>Entrar</li></a>
                </ul>";
        }
        else {
            if($_SESSION['tipo']=='usuario'){
                echo "<ul>
                    <a id='imgcarro' href='compra.php'><li><img src='icons/carro.png'></li></a>
                    <li id='cantidad'>".$_SESSION["carrito"]."</li>
                    <a href='perfil-usuario.php'><li id='g'>Bienvenido ".$_SESSION['nombre']."</li></a>
                    <a href='destroy.php'><li id='g'>Logout</li></a>
                    </ul>";
            }
            else {
                echo "<ul><a href='admin-libros.php'><li id='g'>Bienvenido ".$_SESSION['nombre']."</li></a>
                            <a href='destroy.php'><li id='g'>Logout</li></a>
                    </ul>";
               
            }
        }
        ?>
    </div>
    <div id="banner2">
        <ul><a href="peliculas.php"><li id="b" ><p>PEL&Iacute;CULAS</p></li></a>
            <a href="libros.php"><li id="c"><p>LIBROS</p></li></a>
            <a href="videojuegos.php"><li id="d"><p>VIDEOJUEGOS</p></li></a>
            <a href="juegosdemesa.php"><li id="e"><p>JUEGOS DE MESA</p></li></a>
        </ul>

    </div>
    </div>
    